<?
include('functions.php');
if(isset($_POST['library'])&&isset($_POST['version'])){
    libraries_get($_POST['library'],$_POST['version'])
}
?>